COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
∂AIL Direzione Generale Istruzione Universitaria↓Ufficio Concorsi a Cattedre
↓Viale Trastevere↓00100 ROMA∞

Dear sirs,

Luigia Aiello has been a visitor at the Stanford Artificial Laboratory
on two occasions  -  January 1973 to August 1974, and February 1979
until the present.  During her first visit here she worked with
Richard Weyhrauch on the LCF project and they produced several papers
together.  On her currrent visit she is involved with the formal 
reasoning project and is working with the FOL system.  It is my 
impression that she has made considerable contributions to both these
projects and as a result we are currently augmenting her Italian 
financial support.  I believe that she is well suited for a
university teaching position.

.sgn